{ [ objref6(State):
      < State`name = "q1",
        State`transitions = [ objref11(Transition):
            < Transition`endState = objref7,
              Transition`name = "t1",
              Transition`startState = objref6 >,
          objref13(Transition):
            < Transition`endState = objref9,
              Transition`name = "t3",
              Transition`startState = objref6 > ] >,
    objref7(State):
      < State`name = "q2",
        State`transitions = [ objref12(Transition):
            < Transition`endState = objref8,
              Transition`name = "t2",
              Transition`startState = objref7 > ] > ],
  [ objref6(State):
      < State`name = "q1",
        State`transitions = [ objref11(Transition):
            < Transition`endState = objref7,
              Transition`name = "t1",
              Transition`startState = objref6 >,
          objref13(Transition):
            < Transition`endState = objref9,
              Transition`name = "t3",
              Transition`startState = objref6 > ] >,
    objref9(State):
      < State`name = "q4",
        State`transitions = [ objref14(Transition):
            < Transition`endState = objref8,
              Transition`name = "t4",
              Transition`startState = objref9 >,
          objref15(Transition):
            < Transition`endState = objref6,
              Transition`name = "t5",
              Transition`startState = objref9 > ] > ] }

